Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
691	Running Good Groups Code of Conduct Booklet Add to Reading List Source URL: www.saru.net.au Language: English - Date: 2012-09-30 23:19:22 Software engineering Programming language theory Computing C Cross-platform software
692	PDF Document Add to Reading List Source URL: levana.de Language: English - Date: 2003-03-24 11:27:50 Control characters MetaPost PostScript Public domain software VSTEP Backspace C Computing Software engineering Programming language theory
693	Programming with John M. Chambers August 8, 2007 Agenda Add to Reading List Source URL: user2007.org Language: English - Date: 2007-09-06 20:49:13
694	Non-Strict Independence-Based Program Parallelization Using Sharing and Freeness Information Daniel Cabeza Gras 1 and Manuel V. Hermenegildo 1,2 Abstract Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2009-02-12 19:18:43 Compiler optimizations Automatic parallelization Parallel computing Prolog Unification Compiler Abstract interpretation Computing Software engineering Programming language theory
695	PDF Document Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:56 Functional programming Data types Type theory Functional languages Lisp programming language Type class Predicate Function Fixed-point combinator Software engineering Computer programming Computing
696	The Auspicious Couple: Symbolic Execution and WCET Analysis * Armin Biere1 , Jens Knoop2 , Laura Kovács3 , and Jakob Zwirchmayr2 1 2 3 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-12 08:46:27 Real-time computing Worst-case execution time Symbolic execution KeY Program slicing Analysis of algorithms Model checking Control flow Abstract interpretation Theoretical computer science Programming language theory Computing
697	Saturday August 3, All women divers are invited to join the Aquawoman for their Annual Aquawoman Dive. Join history, as women divers gather together to celebrate the importance and joy of Wreck Diving. Add to Reading List Source URL: www.aquawoman.org Language: English - Date: 2013-03-25 08:54:00 Programming language theory Diving USS Algol ALGOL 58 Dive boat ALGOL Procedural programming languages Software engineering Computing
698	Specification of Zinc and MiniZinc Zinc version (rotdMiniZinc version 1.3 Nicholas Nethercote Kim Marriott Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2011-02-10 23:26:00 Programming language theory Type theory C++ Program analysis Type system ALGOL 68 Primitive data type Enumerated type Boolean data type Computing Data types Software engineering
699	Practical Code Generation with CF Template CF United Express NYC 2009 Peter Bell Add to Reading List Source URL: www.pbell.com Language: English - Date: 2009-08-05 11:32:13 Programming language theory Railo Computing Computer programming
700	µKanren: A Minimal Functional Core for Relational Programming Jason Hemann Daniel P. Friedman Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-01-13 20:04:12 Functional programming Search algorithms Monad Scheme ALGOL 68 Backtracking Software engineering Programming language theory Computer programming

UPDATE